°°
regles d'inference ok