pourquoi ce serait pas un job du compilo, de savoir si une méthode est virtuelle ou pas? il le sait, le compilo, qu'une classe a été étendue et qu'une méthode a été overridée...