Le colonel DUCASSE décoré par le général MASSU après l'opération au cours de laquelle furent tués Amirouche et Si Haouès