72 AMX-13 tanks