Protocoles d'utilisation de composants : spécification et analyse en Kmelia.