Royal Saxon Army
Le Coq trat 1735 als Soldat in die Sächsische Armee ein. 1737 war er Fähnrich im Infanterieregiment Nr. 7. Er avancierte im Regiment 1738 zum Sousleutnant, dann zum Leutnant.