 In the Netherlands, the function of military police is performed by the "Koninklijke Marechaussee" ("Royal Constabulary"), a separate branch of the military independent of the Army, Navy and Air Force.Besides performing military duties, the "Marechaussee" is also a gendarmerie force.The word "Marechaussee" seems to derive from the old French name "Marecheaux" given to an ancient court of justice in Paris called the "Tribunal of Constables and Marshals of France".