Armée israélienne : mille tonnes d’explosifs utilisées pour bombarder Gaza