Remplace ext/mysql par DB
Cette branche Git repart de !195 (merged) et remplace tous les appels à mysql_*
ainsi que les surcouches de type query()
.
Tous les tests automatiques passent en PHP7, mais vu l'impact sur le code, il faudra des tests humains.
Closes #12 (closed)