Gérard Théry, un des fondateurs du Minitel, est mort