Résolution CNF des 09 et 10 avril2014