Les commandes manufacturières allemandes grimpent en octobre