1. A method of detecting collision between at least one first numerically-simulated polyhedral object and at least one second numerically-simulated polyhedral object and of constructing geometrical information about proximity and contact between them; the method being characterized in that the first and second numerically-simulated polyhedral objects are represented in the form of non-interfering simplicial complexes (K 1 , K 2 ) in R n , where R n designates the Cartesian product of the body of real numbers multiplied by itself n times, with n equal to 2 or 3; wherein a pre-processing step is carried out for each simplicial complex (K) for which the coordinates of the vertices are given in a fixed system of coordinates; wherein the pre-processing step consists at least in calculating for each face (σ) of each simplicial complex (K) a geometrical description of the polyhedral cone corresponding to normals in the strong sense (n|K| (Intσ)) associated with that face (σ), determining a label of a contact class to which that face (σ) belongs, and determining for each simplicial complex (K) a tree of encompassing volumes of the object of the simplicial complex (K) from positions of the faces (σ) of the simplicial complex (K) and the sets of associated normals in the strong sense (n|K| (σ)); and wherein, from information obtained after the pre-processing step, a step of calculating local minimum distances (LMD) and quasi local minimum distances (quasi-LMD) is carried out, an LMD being defined by a pair of points producing a local minimum of a restriction of a distance function to the Cartesian product of said simplicial complexes (K 1 , K 2 ) and by a positive real number d(a,b) characterizing the LMD, each quasi local minimum distance corresponding to a pair of points belonging to respective distinct objects that would define a local minimum distance (LMD) if the position of one object relative to the other were subject to a rotation by a small angle (γmax) below a given threshold.