Bonjour,
Merci pour ce retour. Pour info, la valeur par défaut de wait_timeout de MySQL sur une Debian (par exemple sur ma RaspberryPi) est de 28800 (donc 8 heures) ! Et ceci ne pose aucun problème de performance.
La valeur de 15 secondes est donc nettement trop basse. Il est même conseillé à divers endroits de la mettre à 200 (http://www.serveridol.com/2012/04/13/mysql-interactive_timeout-vs-wait_timeout/) ou 300 (ici: https://peaceloveandmoodle.wordpress.com/tag/max-connections/).
Donc pas nécessaire de patcher quoi que ce soit.