public Porte_garage_reno(int id_porte_garage_reno, float hauteur, float largeur, float prix) {
        this.id_porte_garage_reno = id_porte_garage_reno;
        this.hauteur = hauteur;
        this.largeur = largeur;
        this.prix = prix;
    }