Si votre protocole n'a pas de spécification Quint, existe-t-il même ?