Correctif pour l'initialisation dans l'abstraction