La connexion a la base via la chaine [mysql:host=repdomresto.mysql.db;dbname=repdomresto] a echouee pour la raison suivante: SQLSTATE[HY000] [2002] php_network_getaddresses: getaddrinfo failed: Name or service not known