Stav dette: Informatique th eorique et applications