Redefine division as quotient
merge with repo-voisin/tp4