validité d’une formule