Los gendarmes sacaron una ametralladora y dispararon contra el pobre Mardoqueo, matándolo.