Double bottom + break of descending CTL

Double bottom + break of descending CTL

Clause de non-responsabilité