La croissance manufacturière ralentit un peu en novembre (PMI)