cheval / oiseau = pi
cheval = l vache oiseau = béta l --> l vache / béta l = vache / béta
vache = béta pi --> vache / béta = béta pi / béta = pi
Donc cheval / oiseau = pi
