Implementation de prop call et de la beta_reduce