Quel serait le type de phi ? Comment l'utiliserais-tu ensuite ?
C'est le problème dans tous les langages à typage statique : le compilateur veut connaître les types que tu manipules (et sans...