Warnings on unused and undefined variables

[noeensarguet]

Adds warnings for the two following cases :

• Variables that are "unused" in the sense that they're not useful either to compute given back ("restituee") variables or used in a verif
• Variables that are declared as computed but aren't defined (but potentially used)

We could discuss turning the second case into an error (except for given back variables) once the code base is sanitized, it looks very error-prone to me

[noeensarguet]

En l'état actuel du code, lève beaucoup trop de warnings pour que ce soit utile. Après discussion avec les fonctionnel·le·s, on attend au moins la fin de la déclaration de cette année pour modifier la base de code M, il faudrait merger ensuite pour éviter qu'on se retrouve dans une situation similaire