A choreography example


Exemple of a choreography description