Alger après sept ans de guerre — François de La Grange, Pierre Mignot