Remove Frama-C mention in pub

2 jobs for colibri-doc in 1 minute and 43 seconds (queued for 7 seconds)
Name Stage Failure
failed
check-css Css
    |	.goBack
| .goBack2
| .goBack2 i
| .goBack2
|
________________________________________________

Cleaning up file based variables
ERROR: Job failed: exit code 1