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 dist #656970

00:26:57

 
  Check
passed check #656971

00:05:46

passed deb #656973

00:09:21

passed mingw #656972

00:13:14

 
  Manual
passed pages #656974

00:02:54

 
  Deploy
passed pages:deploy

00:00:01