Résolution de systèmes de congruences

Étant donnés des $n$-plets d'entiers $(a_1,\dots,a_n)$ et $(b_1,\dots,b_n)$, cette application détermine une éventuelle solution du système de congruences \[\begin{cases} x\equiv b_1\pmod{a_1},\\ \quad\vdots\\ x\equiv b_n\pmod{a_n}. \end{cases}\]