Girardot de Marigny, Jean.