Aïd-el-Kébir, le 15 octobre