Nom Phan Prénom Duc-Minh Téléphone Bureau 3010 Mail Duc-Minh.Phan@irif.fr Page web https://www.irif.fr/~ducminh/