troisième proportionnelle