### 6.7.10 Quotient entier infixé de la division euclidienne : `div`

`div` est un opérateur infixé qui désigne le quotient entier q de la division euclidienne des deux entiers ou de deux entiers de Gauss a et b donnés en argument (a=b*q+r avec 0≤ r< b).
On tape :

`148 div 5`

On obtient :

`29`

On tape :

`factorial(148) div (factorial(145)+2)`

On obtient :

`3176375`
`factorial(148) div factorial(145)+2`

On obtient :

`3176378`

On tape :

`(25+12*i) div (5+7*i)`

On obtient :

`3-2*i`