Merci pour ces indications. Elles me seront peut-être utiles (quoique je n’ai guère la possibilité de me rendre en Allemagne ou en Autriche en ce moment).