norme proof libft