### 6.7.11 Quotient entier de la division euclidienne : `iquo intDiv`

`iquo` (ou `intDiv`) désigne le quotient entier q de la division euclidienne des deux entiers a et b donnés en argument (a=b*q+r avec 0≤ r< b).
`iquo` travaille avec des entiers ou des entiers de Gauss.
Pour les entiers de Gauss, on choisit q pour que b*q soit le plus proche possible de a et on peut montrer que l’on peut choisir r tel que |r|2 ≤ |b|2/2.
On tape :

`iquo(148,5)`

On obtient :

`29`

On tape :

`iquo(factorial(148),factorial(145)+2)`

On obtient :

`3176375`

ou encore

`iquo(25+12*i,5+7*i)`

On obtient :

`3-2*i`

On a :
a−b*q=−4+i et on a |−4+i|2=17<|5+7*i|2/2=74/2=37