Définitionsprocédé CTL