* Créer un projet machine * Modifier une spécification * Ajouter un module * Créer une version * Analyser une divergence * Valider une proposition