~~NOCACHE~~
---- datatemplateentry ----
template     : :templates:seminaire
type         : Groupe de travail
nom          : La théorie des types et la théorie de l'homotopie
nomcourt     : hott
jour         : vendredi
heure        : 14h
lieu         : salle 1013
responsables : douteau
pole         : pps
equipes      : algebre, preuves
----