Madrids garnison , inalles 12,000 man.