Singularités irrégulières — Bernard Malgrange, Jean-Pierre Ramis, Pierre Deligne