Informasi yang berkaitan dengan it/Henri Coquand