ejecutar (en sentido técnico o militar)