Premières méthodes

Implémentation des premières méthodes utiles à la vérification