Doit-on dire un ou une décimateur ?