Pierre Guichard (1939-2021) : historien d’al-Andalus et du Maghreb