Traite de Logique;