Rénovation et extension d’une ancienne maison ouvrière