Place du Luxembourg, 13 - Luxemburgplein 13