Programmation linéaire et unimodularité.