9.90 rendre bâtiment obligatoire