removed crap in Verificateur and add abstract method to be implemented in child class