Initiation `a la vérification Basics of Verification