Programmes mathématiques en variables 0-1