Typage Qmeth et modification main.ml (on pourra le recommenter plus
tard.)