New CP Model using a decomposition of the AtMostSeqCard Constraint