Branchement gaz au n°9 rue Marie-Marguerite Baldensperger à partir du 9 mai 2023