Nom Dehornoy Prénom Patrick Téléphone 01 57 27 90 86 Bureau 3032 Mail Patrick.Dehornoy@irif.fr Page web https://dehornoy.users.lmno.cnrs.fr/