If the EU creates its own military, and those same militaries are also “NATO” as France, Germany, Holland, etc.... then effectively, the EU can use the US military at will.
Its time to walk away from NATO.
Royal Dutch Army, total 21,500 full and part time troops.
per wiki they have already integrated into the German Army with that EU objective.
excerpt:
....” 2 of 3 Dutch Army Brigades are now under German Command. In 2014 the 11th Airmobile Brigade, was integrated into the German Division of fast forces (DSK). Also the Dutch 43rd Mechanized Brigade, will be integrated into the 1st Panzer Division (Bundeswehr) of the German army.
With the integration starting at the beginning of 2016, and the unit becoming operational at the end of 2019. The Dutch-German military cooperation are seen as an example for setting up a European defense union....”