Encyclopédie de l'Islam (Leyde : Paris)