Merge branch 'fix/frama-clang/mailtos' into 'master'

Remove support@frama-c.com

See merge request !204

_fc-plugins/frama-clang.md

@@ -31,8 +31,9 @@ Moreover, the translation from C++ to C does not make any attempts to optimize
 the resulting code for the back-end analyzers such as [Eva](eva.html) or
 [WP](wp.html).
 Further work is thus needed before Frama-Clang can claim to be a grown-up
-plug-in. Feel free to [contact us](mailto:support@frama-c.com) if you're
-interested in participating in its maturation.
+plug-in. Feel free to
+[contact us](mailto:allan.blanchard@cea.fr,virgile.prevosto@cea.fr)
+if you're interested in participating in its maturation.
 
 ## Further Reading
 
@@ -50,7 +51,7 @@ if needed)
 ### Download
 
 The current version is 0.0.14. The frama-clang plugin can be downloaded
-[here](https://git.frama-c.com/pub/frama-clang/-/archive/0.0.14/frama-clang-0.0.14.tar.bz2).
+[here](https://git.frama-c.com/pub/frama-clang/-/archive/0.0.14/frama-clang-0.0.14.tar.bz2).<br>
 sha256:`fa6b471814007322fcb4ea56addbe94cd49c570e17b1f33d633bc5e3fc8e0913`
 
 Frama-Clang has its own public git [repository](https://git.frama-c.com/pub/frama-clang),

_posts/2017-09-21-Frama-C-appears-on-European-Commission-s-Innovation-Radar.md

@@ -23,4 +23,4 @@ All in all, it seems that the project was evaluated very positively by the Europ
 
 # Call to the Public
 
-Now, our presence in this list is not the end. Indeed, a public vote will now select 4 finalists who will defend their project in November in Budapest, where a jury will choose the winner. If you think that cybersecurity is important and formal methods such as advocated by Frama-C should play a major role in it, don't hesitate to [cast your vote](https://ec.europa.eu/futurium/en/tech-society/list-institute) (and share the link in all social networks you're connected to, of course). In the mean time, if you have project ideas in which Frama-C could fit, we would of course be glad to [hear from you](mailto:support@frama-c.com).
+Now, our presence in this list is not the end. Indeed, a public vote will now select 4 finalists who will defend their project in November in Budapest, where a jury will choose the winner. If you think that cybersecurity is important and formal methods such as advocated by Frama-C should play a major role in it, don't hesitate to [cast your vote](https://ec.europa.eu/futurium/en/tech-society/list-institute) (and share the link in all social networks you're connected to, of course). In the meantime, if you have project ideas in which Frama-C could fit, we would of course be glad to [hear from you](mailto:allan.blanchard@cea.fr,virgile.prevosto@cea.fr)