Algorithmique des réseaux et des systèmes diophantiens linéaires — Catherine Moulinet-Ossola