Coating made of tantalum carbide