SMS: Informatique th eorique et applications