Nom Timo Jolivet Téléphone Bureau Mail jolivet@liafa.univ-paris-diderot.fr Page web https://www.irif.univ-paris-diderot.fr/~jolivet/