GitHub #10 - les types User et UserPro doivent être gérés de la même
façon