now jenkins sends an e-mail to guillaume raffy when the validation fails

Jenkinsfile

@@ -43,4 +43,12 @@ pipeline {
             }
         }
     }
+    post
+    {
+        // always, success, failure, unstable, changed
+        failure
+        {
+            mail bcc: '', body: "<b>Validation failed</b><br>Project: ${env.JOB_NAME} <br>Build Number: ${env.BUILD_NUMBER} <br>Build URL: ${env.BUILD_URL}", cc: '', charset: 'UTF-8', from: '', mimeType: 'text/html', replyTo: '', subject: "CI build failed for ${env.JOB_NAME}", to: "guillaume.raffy@univ-rennes1.fr";
+        }
+    }
 }