"Philippe Doignon" . "Salle de S\u00E9minaire \"Coste\""@fr . . .