Catégories à Estaire, ON, PI-PP