Aujourd'hui il y a des soucis de détermination des commits à vérifier, notamment pour les branches "vides". Les FixLeases, etc. A voir aussi pour un finish release. Autoriser le mot-clé "Merge" ??