La conquête d’Oran a bien eu lieu