La résolution de problèmes algorithmiques : le problème du barbier endormi expliqué