cité ouvrière : cité de mineurs dite Cité Saint-Paul - POP