Définitionsprorogatif