¿Qué diferencia hay entre un manual y una ordenanza militar?