The arithmetic theory of loop groups. II: The Hilbert-modular case Dualité locale et holonomie pour les \({\mathcal D}\)-modules arithmétiques. (Local duality and holonomy for arithmetic \({\mathcal D}\)-modules) 