Le PMI manufacturier américain augmente un peu en octobre