Pour info, j'ai appris (le lendemain-matin bien-sûr) que le gérant réside au premier étage de l'hôtel.. ça peut servir !