Catégorie quotient fonctionne, suppression de catégorie squelettique au profit de catégorie acyclique.