Conception d'algorithmes et langages formels en informatique