Doit-on dire un ou une tétraline ?