France : repli de la production industrielle en décembre