Robert Lion, un grand commis de l'Etat engagé dans son siècle (article)