FOND1 - Langages rationnels et calculabilité