Note sur l'origine du nom de "Mahomet." — Georges Séraphin Colin