Brussels, Bibliothèque Royale, 9571-9572