sync with frama-c master

1 job for master in 50 minutes and 39 seconds
Status Name Job ID Coverage
  Test
passed build #398484
docker

00:50:39