schema algorithmique varcond