La vérification formelle appliquée aux protocoles cryptographiques