Nom Bastide Prénom Paul Téléphone Bureau Mail Paul.Bastide@irif.fr Page web https://www.irif.fr/~bastide/