bar

Palliatif, mais non terminal : une distinction importante