La faune dans la peinture rupestre du Tassili-N-Ajjer — Michel Mazenq, Michel Mazenq