Le 4 janv. 2011 à 22:51, Paul Eggert a écrit :
> We can do this by using something like the following:
>
> letter [.abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_]
> id -*(-|{letter}({letter}|[-0-9])*)
> ref -?[0-9]+|{id}|"["{id}"]"|"$"
>
> and then "id" would be treated consistently everywhere.This is also my favorite option.
