Définitionssempiternelle