diff --git a/lib/ulib/ptools b/lib/ulib/ptools
index f02ce62..294a42b 100644
--- a/lib/ulib/ptools
+++ b/lib/ulib/ptools
@@ -164,6 +164,7 @@ function pver() {
         --gt: '$action=compare; operator=gt; set@ oversion' \
         --ge: '$action=compare; operator=ge; set@ oversion' \
         -v:,--set-version: '$action=update; set@ setversion; incversion=' \
+        --prel '$action=update; setversion=prel; incversion=' \
         -u,--update '$action=update; [ -z "$incversion" ] && incversion=auto' \
         --menu '$action=update; incversion=menu' \
         -x,--major '$action=update; incversion=major' \
@@ -416,6 +417,15 @@ BEGIN {
 
         # forcer le numéro de version
         if [ -n "$setversion" ]; then
+            if [ "$setversion" == prel ]; then
+                local branch; branch="$(git_get_branch)" || return 2
+                if [[ "$branch" == release-* ]]; then
+                    setversion="${branch#release-}"
+                else
+                    eerror "$branch: n'est pas une release branch"
+                    return 1
+                fi
+            fi
             psemver_setversion "$setversion" "" || { eerror "Numéro de version invalide: $setversion"; return 1; }
         fi
 
diff --git a/prel b/prel
index 7ab0172..5fa9e0c 100755
--- a/prel
+++ b/prel
@@ -263,7 +263,7 @@ Vous allez créer la nouvelle release branch ${COULEUR_VERTE}$release${COULEUR_N
         [ $? -eq 2 ] && die "Impossible de créer la branche $release. Veuillez vérifier que la branche $source existe"
         git checkout "$release"; r=$?
 
-        if [ "$r" -eq 0 -a -n "$newver" ]; then
+        if [ "$r" -eq 0 -a -n "$newver" -a -n "$write" ]; then
             if pver -uv "$newver"; then
                 git add -A
                 git commit -m "Initialiser la version $newver"
@@ -324,6 +324,9 @@ dans la branche de destination ${COULEUR_BLEUE}master${COULEUR_NORMALE}"
     git merge "$release" -m "Intégration de la branche $release" --no-ff || die
 
     if [ "$release" != develop ]; then
+        estepn "\
+Intégration de la branche ${COULEUR_VERTE}$release${COULEUR_NORMALE}
+dans la branche de destination ${COULEUR_BLEUE}develop${COULEUR_NORMALE}"
         git checkout develop
         git merge "$release" -m "Intégration de la branche $release" --no-ff || die
 
diff --git a/pver b/pver
index b5ca3a5..7efbc43 100755
--- a/pver
+++ b/pver
@@ -54,6 +54,10 @@ OPTIONS
         Spécifier un nouveau numéro de version qui écrase la valeur actuelle.
         Cette option ne devrait pas être utilisée en temps normal parce que cela
         va contre les règles du versionage sémantique.
+    --prel
+        Spécifier un nouveau numéro de version qui écrase la valeur actuelle. Le
+        numéro de version est obtenu à partir du nom de la branche git courante,
+        qui doit être de la forme release-VERSION
     -u, --update
         Mettre à jour le numéro de version.