Plan du cours :
- modèle de Voevodsky des ensembles simpliciaux et caractère non effectif de ces modèles ;
- modèles effectifs avec ensembles cubiques ;
- application à une définition de structure de modèle la Quillen sur certains modèles de préfaisceaux ;
- définition constructive des types d’homotopie des espaces topologiques.
