Specification of Pelisse