Patrouilles du Désert. Opérations en Libye de 1940 à 1943.