Merge branch 'fix-papabench' into 'master'

sync with frama-c master; fix papabench's math.h inclusion

See merge request !19
1 job for master in 69 minutes and 19 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
passed build #414919
docker

01:09:19