Liens externes Université Paris-Diderot UFR d'informatique EIDD IRIF Pôle Automates, Structures et Vérification Équipe modélisation et vérification