Entre - Définition du critère d'un cas de la partie générique d'un type sous forme d'un intervalle - Accès rapide
Entre - Définition du critère d'un cas de la partie générique d'un type sous forme d'un intervalle - Corps