Merge branch '178-purge-the-useless-code' into 'develop'

Resolve "Purge the useless code"

Closes #178

See merge request !184
6 jobs for 130-formal-verification-with-frama-c-2 in 43 minutes and 6 seconds (queued for 1 second)
Status Job ID Name Coverage
  Dist
passed #656970
dist

00:26:57

 
  Check
passed #656971
check

00:05:46

passed #656973
deb

00:09:21

passed #656972
mingw

00:13:14

 
  Manual
passed #656974
pages

00:02:54

 
  Deploy
passed pages:deploy

00:00:01