Doit-on dire un ou une infanterie ?