Exposés

10:30: Marc Bagnol, Unification et algèbre d'unification