profondeur -- computes the profondeur with respect to an ideal

• Usage:

  m = profondeur (I,M)

• Inputs:
  • I, an ideal,
  • M, a module,
  • R, a ring,
• Outputs:
  • m, an integer,