générateur de getter et de setter php