Océan de papier : production principale de toute administration.