Trieurs (pp et 12 et trieur et a4)