*********************************
Lemme de comparaison de Grothendieck (appliqué aux sites pré-ordonnés avec topologie sous-canonique)
Remarque : ensembles pré-ordonnés vus comme catégories.
Rappel de l'énonce du lemme de comparaison ( J-densité => équivalence de topos)
Exemple : bases d'un espace topologique