Informatique theorique et applications