L\'atelier de tricotage des mines.