Fermeture du locus singulier et génération pour les catégories dérivées | Synapse