MySQL/phpMyAdmin se fige à partir de DELIMITER

Il s'avère que phpMyAdmin a un champ marqué "délimiteur :" sous la boîte de requête SQL. L'utiliser plutôt que la commande résout le problème. Des recherches plus approfondies expliquent que "DELIMITER" n'est pas une commande SQL, mais une commande généralement implémentée par toutes les interfaces utilisateur SQL.