quelques corrections

ligne 333, Sorite -> Sortie
ligne 454, boléens -> booléens
ligne 711, Boléennes -> Booléennes
ligne 714, boléennes -> booléennes
ligne 716, boléennes -> booléennes
ligne 727, boléens -> booléens
ligne 757, concernés -> concernées
ligne 922-923, accord féminin pluriel; spécifique -> spécifiques définis -> définies
ligne 947 execution -> exécution