Nom Cherrat Prénom El-Amine Téléphone Bureau 4055 Mail El-Amine.Cherrat@irif.fr Page web https://www.irif.fr/~cherrat/