Update contact pages

html/contact.html

@@ -80,7 +80,7 @@ function(err, data) {
 	<div class="contactInfo">
 
 	  <p>If you think Frama-C could be part of any kind of scientific collaboration, including research projects, internships,
-	  PhDs, post-doctoral positions and dissemination activities, please contact	<a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a> or <a href=
+	  PhDs, post-doctoral positions and dissemination activities, please contact <a href="mailto:thibaud.antignac@cea.fr">thibaud.antignac(at)cea.fr</a> or <a href=
 	  "mailto:loic.correnson@cea.fr">loic.correnson(at)cea.fr</a>.</p>
 	</div>
 

html/terms-of-use.html

@@ -28,15 +28,15 @@ css: terms
 		  <h5>Director of publication</h5>
 
 		  <p>C. Marché<br>
-		  Inria - 4, rue Jacques Monod<br>
-		  F-91893 Orsay cedex</p>
+		  Université Paris Saclay<br>
+		  91405 Orsay Cedex France</p>
 		</div>
 
 		<div>
 		  <h5>Webmaster</h5>
 
-		  <p><a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><br>
-		  F. Kirchner<br>
+		  <p><a href="mailto:thibaud.antignac@cea.fr">thibaud.antignac(at)cea.fr</a><br>
+		  T. Antignac<br>
 		  CEA Saclay<br>
 		  F-91191 Gif sur Yvette cedex</p>
 		</div>
@@ -50,8 +50,8 @@ css: terms
 		vous adressant à :</p>
 
 		<div>
-		  <a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><br>
-		  F. Kirchner<br>
+		  <a href="mailto:thibaud.antignac@cea.fr">thibaud.antignac(at)cea.fr</a><br>
+		  T. Antignac<br>
 		  CEA Saclay<br>
 		  F-91191 Gif sur Yvette cedex
 		</div>