var då ett annex till Palais Royal.