Attention aux approximations de PHP lors des multiplications flottantes : on peut tronquer 1 centime si on y prend garde, il faut utiliser round avant de caster en int