17,5 M€ pour l'extension de l'Institut des ressources industrielles