France : repli de la production industrielle en décembre (-0,7 %), selon l'Insee