correction opérateur logique