Les arts de l’Islam : une histoire du patrimoine islamique de France