Methodes diagrammatiques en dimension infinie · LIX - Laboratoire d'informatique, Doctorat · La Géode