Sécurité de protocoles cryptographiques fondés sur les codes correcteurs d'erreurs. (Security of cryptographic protocols based on error correcting codes).