public Porte_garage_anti_tempete(int id_potre_garage_anti_tempete, float hauteur, float largeur, float prix) {
        this.id_potre_garage_anti_tempete = id_potre_garage_anti_tempete;
        this.hauteur = hauteur;
        this.largeur = largeur;
        this.prix = prix;
    }