formules mathematiques proxy