Histoire de l’islamisation de l’afrique de l’ouest : des origines à la fin du 16e siècle