Fanny pèse 35 kg et marius pèse 1 quart de plus que fanny. Quel est le poids de marius