Droit international et droit interne — Heinrich Triepel