Ajout de définitions pour la classe Porte pour la compilation