Al Mahdi est bel et bien cité dans le Coran