diff --git a/_includes/blog-footer-standalone.html b/_includes/blog-footer-standalone.html
index fae2607ad5d0018b5e7f22c743cf9ee35e439187..951863411f8de693787cbf0b8ea4af7cb045d44e 100644
--- a/_includes/blog-footer-standalone.html
+++ b/_includes/blog-footer-standalone.html
@@ -1,5 +1,5 @@
 <footer id="footer" class="mainFooter">
-<a rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/framac.gif" alt=""></a>
+<a rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/frama-c.png" alt=""></a>
 
 <nav>
   <a href="https://twitter.com/frama_c" target="_blank" class="twitterLink"><i class="icon icon-twitter"></i></a>
diff --git a/_includes/blog-headers-standalone.html b/_includes/blog-headers-standalone.html
index 721a2b7d8accacb6fb349199950bf13ca453d1fb..18c7ea34eee973476c95ba0242df54c830ca5bf8 100644
--- a/_includes/blog-headers-standalone.html
+++ b/_includes/blog-headers-standalone.html
@@ -1,5 +1,5 @@
 <header class="siteHeader" id="site_header">
   <div id="header_iv_point" class="inviewTop"></div>
   <span class="brandLogo"><a rel="home" title="Frama-C">
-  <img src="/assets/img/framac.gif" alt="Frama-C logo"></a>
+  <img src="/assets/img/frama-c.png" alt="Frama-C logo"></a>
 </header>
diff --git a/_includes/footer-standalone.html b/_includes/footer-standalone.html
index f98a1557e956d2035beee1ddf26f5cc36af41100..7112d1a11fc58f3440f66f7793d24aa9d6bedafb 100644
--- a/_includes/footer-standalone.html
+++ b/_includes/footer-standalone.html
@@ -1,5 +1,5 @@
 <footer id="footer" class="mainFooter">
-<a rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/framac.gif" alt=""></a>
+<a rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/frama-c.png" alt=""></a>
 
 <nav>
   <a href="https://twitter.com/frama_c" target="_blank" class="twitterLink"><i class="icon icon-twitter"></i></a>
diff --git a/_includes/footer.html b/_includes/footer.html
index f3c2fcb9e3e4978b49ca90c75ef68aac860e17c8..bcc4c705b8da7e1e0973c6e1789848bcbeeee146 100755
--- a/_includes/footer.html
+++ b/_includes/footer.html
@@ -1,5 +1,5 @@
 <footer id="footer" class="mainFooter">
-<a href="/index.html" rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/framac.gif"
+<a href="/index.html" rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/frama-c.png"
 alt=""></a>
 
 <nav>
diff --git a/_includes/headers-standalone.html b/_includes/headers-standalone.html
index 721a2b7d8accacb6fb349199950bf13ca453d1fb..18c7ea34eee973476c95ba0242df54c830ca5bf8 100644
--- a/_includes/headers-standalone.html
+++ b/_includes/headers-standalone.html
@@ -1,5 +1,5 @@
 <header class="siteHeader" id="site_header">
   <div id="header_iv_point" class="inviewTop"></div>
   <span class="brandLogo"><a rel="home" title="Frama-C">
-  <img src="/assets/img/framac.gif" alt="Frama-C logo"></a>
+  <img src="/assets/img/frama-c.png" alt="Frama-C logo"></a>
 </header>
diff --git a/_includes/headers.html b/_includes/headers.html
index aadd4f2c8c472c5648cdc048d47a338f9928851f..8ca2eef64f19f08fff56e5b1d098f66bba719d44 100755
--- a/_includes/headers.html
+++ b/_includes/headers.html
@@ -1,7 +1,7 @@
 <header class="siteHeader" id="site_header">
   <div id="header_iv_point" class="inviewTop"></div>
   <span class="brandLogo"><a href="/index.html" rel="home" title=
-  "Frama-C"><img src="/assets/img/framac.gif" alt=""><span>Frama-C</span></a></span>
+  "Frama-C"><img src="/assets/img/frama-c.png" alt=""><span>Frama-C</span></a></span>
 
   <input class="burger-check" id="burger-check" type="checkbox"><label for="burger-check" class="burger"></label>
   <nav id="menu" role="navigation">
diff --git a/assets/img/frama-c.png b/assets/img/frama-c.png
new file mode 100644
index 0000000000000000000000000000000000000000..2fb45eeae1ee90302f4cd1b5ddb78a4cbb286346
Binary files /dev/null and b/assets/img/frama-c.png differ