debug vode generation + essai buggé de type checking