Inférence sur un protocole univarié nominal (Version intégrée)