le typage des instructions se fait à présent sur toutes les méthodes et
tous les constructeurs de toutes les classes.