La BCE nomme Eva Murciano Sánchez directrice générale des Ressources humaines