[EN] Partial metrics constitute a generalization of classical metrics for which self-distance may not be zero. They were introduced by S.G. Matthews in 1994 in order to provide an adequate mathematical framework for the ...