Nom Torfs Prénom Renaud Téléphone Bureau 4031 Mail Renaud.Torfs@irif.fr Page web https://www.irif.fr/~torfs/