La production industrielle augmente un peu en novembre