Merge branch 'new-frama-c-postion' into 'master'

New Frama-C position

See merge request !123
2 jobs for master in 2 minutes and 25 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Deploy
passed pages #423960
docker

00:02:25

passed pages:deploy

00:00:01