pierre-mauroy-est-mort