D'ORTOUS de Mairan, Jean Jacques