Annotations plaisantes sur la Gazette de France — Armand Jean du Plessis duc de Richelieu