Closed Alutulu closed 1 year ago
If not, we can delete it. Else, we can factorize it by a new function
It seems to be useless now.