opérateurs de validité