Choice sequences : a chapter of intuitionistic mathematics