#EXTENSION

#EXTENSION (since SPIP 2.0) displays the file format extension of the current document, e.g. pdf, jpeg, mov, ra...