Soutenance de la thèse de Pierre Rannou, intitulée Réécriture de diagrammes et de Σ-diagrammes, à 14h dans l'amphi Herbrand.