HDTenEightyP/NetNews huggingface dataset:
From: ppg@oasis.icl.co.uk (Philippe Goujard)
Newsgroups: soc.culture.french
Subject: Re: Abonnement a la revue de presse
Date: 2 Oct 92 11:51:15 GMT
Organization: ICL, Bracknell, Berkshire, RG12 4SN, UK

bg959@cleveland.Freenet.Edu (Joel A. Mayer) writes:


>Voila la fiche qu'il faut remplir pour s'abonner a la revue.. il faut
>la remettre a FROG@guvax.acc.georgetown.edu
>===========================================================
>Date: Tue, 29 Sep 1992 10:06 EDT
>From: FROG@guvax.acc.georgetown.edu
>Subject: Inscription

>Voici une nouvelle fiche d'inscription. Merci


>BIENVENU DANS LE MONDE DU FROGNET!!!!

J'ai du louper un metro ou les news se sont perdues en chemin car je n'ai
pas  compris cet "abonnement a la revue de presse".
C'est quoi le "frognet"? En quoi ca consiste? Quelles en sont les activites?

Pourquoi diable y-a-til besoin de connaitre les diplomes de qqun pour une
revue de presse? 

Merci aussi de preciser les champs obligatoires et optionnels ainsi que la
declaration a la CNIL / Data Protection Act ou organisme equivalent pour
le pays dans lequel se trouvera le fichier nominatif.
From: popaul@harborcoat.cs.mcgill.ca (Paul TERRAY)
Newsgroups: soc.culture.french
Subject: Re: Help : French phrases
Date: 1 Oct 92 21:17:31 GMT
Organization: SOCS, McGill University, Montreal, Canada

> In article <1992Oct1.033133.2043@nuscc.nus.sg>, edbis@solomon.technet.sg (Koh  
Eng San) writes...
> >a) Happy BirthDay
> >b) Love and Kisses

In article <BvG7L9.29B@acsu.buffalo.edu> v068mwnn@ubvmsb.cc.buffalo.edu (THE  
VISION) writes:
> 
> a) Bonne  Annivarsaire
> b) It's customary to write "Gros Bisous" whhich literally means "fat kisses"

Just correcting a mistakes

a) Bon Anniversaire

At your service,
Paul TERRAY
From: root@fugue.cis.mcmaster.ca (Operator)
Newsgroups: soc.culture.french,soc.culture.europe,soc.culture.british,soc.culture.celtic
Subject: Re: Getting some intelligent discussion going.
Date: 29 Sep 92 22:51:08 GMT
Article-I.D.: maccs.1992Sep29.225108.24297
Organization: CIS, McMaster University, Hamilton, Ont., Canada

here is my vote for soc.culture.scotland  .
From: maillet@tls-cs.cert.fr (Luc Maillet)
Newsgroups: soc.culture.french
Subject: Re: ETUDES A GRENOBLE
Date: 5 Oct 92 08:02:35 GMT
Organization: CERT, CS Dpt. Toulouse, France

In article <1a82mcINNnau@grasp1.univ-lyon1.fr>, Christophe.Wolfhugel@grasp.insa-lyon.fr (Christophe Wolfhugel) writes:
|> In article <1992Sep28.173304.5513@gw.wmich.edu> x90fellows2@gw.wmich.edu writes:
|> >bonjour, je suis etudiante americaine en Michigan. Je pense a aller
|> >en France, probablement le Sud-ouest, pour continuer mes etudes.
|> >J'aurai un "Bachelor of Arts" le fin d'avril 1993. S'il y a quelqu'un
|> >qui peux me donner d'information des universities a Grenoble et ailleurs
|> >je serais tres contente.
|> 
|> Bachelor of Art n'est pas Bachelor of Geography, n'est-ce pas ?
|> Grenoble n'est pas tout a fait a l'Ouest, je dirais plutot Sud-Est...
|> 
|> Enfin bon certes entre les 2 y'a que 6-700 km...  Ca fait combien de temps
|> a 55 mph ?

  Quel manque de manieres ! Christophe, voyons, un peu d'indulgence...

  Elle pensait a Toulouse, bien entendu... tout le monde pense a Toulouse...
Et avec raison. 

								Z.

  L'ordinateur est fou. L'ordinateur est heureux. L'ordinateur fera tout pour
vous rendre heureux. Cela vous rendra fou.
From: said@cict.fr (Said Jmel)
Newsgroups: soc.culture.french
Subject: A la recherche de Marc Moore a Montreal, Quebec
Date: 30 Sep 92 06:58:05 GMT
Distribution: soc
Organization: Centre Interuniversitaire de Calcul de Toulouse

J'aimerais trouver l'adresse electronique, email de Marc Moore.
Redacteur de la Revue Canadienne de Statistiques, il est, je crois,
a l'ecole Polytechnique de Montreal, Quebec.
D'avance je vous remercie.
Repondez moi par email car je ne lis pas souvent les news.

         said@cict.fr

    Said Jmel
From: pelegrin@brol.greco-prog.fr (Francois PELLEGRINI)
Newsgroups: soc.culture.french
Subject: Re: le meteorite fou !
Date: 5 Oct 92 09:52:56 GMT
Organization: GRECO Programmation du CNRS - Bordeaux,France

In article <1992Sep29.202633.17386@news.Hawaii.Edu>, roddier@wiliki.eng.hawaii.edu (Dominique Roddier) writes:
|> In article <1992Sep28.162807.1@sc2a.unige.ch> fragnier@sc2a.unige.ch writes:

|> >     dit: Aux hommes cela est impossible, mais ` Dieu tout est possible."
|> Ah dieu, c'est superman, c'est lui qui va empecher le meteorite de nous tomber
|> dessus, je comprends tout.

	Z'avez rien compris!

	Si Dieu existe, c'est lui qui a envoye le meteorite.
	Et s'il l'a fait, c'est parce qu'il trouvait que les cathos integristes
sont vraiment trop cons (prouvez-moi qu'il a dit le contraire).
	Et comme il a fait l'homme a son image, je vous raconte pas l'enfer que
ca doit etre, le paradis...

	Sauternes saves!

						f.p.
-- 
-------------------------------------------------------------------------------
|   Zeu<FP> : The craziest programmer in France  |         _________          |
|------------------------------------------------|     /   |        \   \     |
| Francois Pellegrini is :                       |    /    |__   ___/    \    |
|        pelegrin@geocub.greco-prog.fr           |    \    |     |       /    |
|         pelegrin@prof.greco-prog.fr            |     \   |     |      /     |
|                                                |                            |
-------------------------------------------------------------------------------
From: lmcohen@phoenix.Princeton.EDU (Leonard Melville Cohen)
Subject: Re: (des)information a la francaise ...
Originator: news@nimaster
Organization: Princeton University
Date: Thu, 1 Oct 1992 01:20:45 GMT

In article <1992Sep30.142317.220278@ns1.cc.lehigh.edu> js0x@ns1.cc.lehigh.edu (JEAN-PHILIPPE STEYER) writes:
   [...Stuff deleted...]

>news sans pour autant etre rive sur le petit ecran a 20 h. Toutefois, par
>certains cotes, elle n'est pas toujours objective puisque elle se contente
>bien souvent de nouvelles americaines (ou qui ont trait aux USA ...) mais
>peut-on lui jeter la pierre car l'americain "moyen", a de tres rares
>exeptions, se fout (mais alors se contre fout !!) de ce qui se passe a
>l'exterieur de son pays quand ce dernier n'est pas concerne ...


   Je trouve que les chaines de television francaises passent egalement
beaucoup (trop?) de temps sur les nouvelles nationales.  D'un certain
cote, c'est facile a comprendre, puisque les Francais s'interessent plus
aux dernieres declarations de JM Le Pen qu'a la vie politique du Soudan.
Bref, on peut critiquer les infos aux USA, et CNN en particulier, mais
l'information televisee francaise n'est pas exempte de critiques.

   Quand a l'accusation que l'Americain moyen se fout des nouvelles
internationales, je ne pense pas que le Francais moyen soit beaucoup
plus informe. 

   De plus, il ne faut pas oublier que la France est un pays minuscule
compare aux USA, et que donc ce qui passe comme nouvelle "internationale"
en France reste a l'echelle d'une nouvelle locale ici (j'exagere un peu,
mais dans l'esprit c'est ca).

   Par contre, l'une des choses qui m'agacent le plus ici, est la
proliferation presque incontrolee de publicites qui parsement les
informations.  On se demande si les Americains se posent des questions
lorsqu'ils passent d'une pub pour McDonald, avec un gros Big Mac sur
l'ecran, a la misere Somalienne par exemple...

   Bref, c'est comme partout: il y a du bon, il y a du mauvais.

>Have fun !
>
   You too!

>Jean-Philippe Steyer
>js0x@lehigh.edu

   --Leonard Cohen    (lmcohen@phoenix.princeton.edu)
From: michele@catnix.UUCP (Michele Simond)
Newsgroups: soc.culture.french
Subject: traduction du terme sexuel
Date: 3 Oct 92 16:22:56 GMT
Organization: Rhinoceros, chargez!
Reference: <UemIFPW00WBNM_MVES@andrew.cmu.edu>


mc4g+@andrew.cmu.edu (Michael John Colaianne) demande:

> Quelqu'un pourrait-il me dire comment traduire l'expression anglaise
> "dental dam" en francais?  Je dois faire une presentation orale sur "les
> ...

Bon, c'est trop tard pour cette fois, mais ca peut toujours reservir.
D'apres ta description de la "chose", je traduirais, plus ou moins
litteralement par "barrage buccal" ou "barriere de protection buccale"
(apres tout, ce n'est pas la denture que l'on souhaite proteger, a moins
que des etudes recentes aient demontre que les relation bucco-genitales
donnent des caries!).  

C'est les fetichistes du latex qui doivent se rejouir.  D'ici peu on
nous annoncera qu'on risque d'attraper le zona en baisant et qu'il est
donc imperatif de recouvrir le corps entier d'une pellicule de latex
ultra-fine et ultra-resistante.  A son compte-la, vive l'auto-satisfaction :
on ne se retransmet ainsi que ses propres microbes... :-(


--
Michele Simond ...... Traductrice ......  B.P.: michele@catnix.UUCP
(514) 671-8820				   OU :	michele%catnix@cam.org

La Liberte n'est pas une marque de yogourt.
From: prich@monk (Paul Richardson)
Newsgroups: soc.culture.french
Subject: A request for information
Date: 29 Sep 92 21:17:40 GMT

First, 
	I apologize and sincerely wish that I could post this in French,
unfortuantely by the time I figured it out I would be old and gray.
For those of you are miffed, rest assured that I will be taking a
conversational French course via Berkeley Extension next term.

Now my question:

Has anyone heard of a computer company in Lyon called ACRI.If
so could you give me info on how to contact them.

So as not to clutter the net too much, please send all info
direct to me at prich@next.com


Thanx

--

/pgr

She's got Jungle Fevah... - Stevie
email: Paul_Richardson@next.com
Newsgroups: soc.culture.french
From: MICHAEL.WILLETT@OFFICE.WANG.COM ("Michael Willett")
Subject: Re: Bonjour! - RAID 7 pour votre ordinateur au France
Organization: Mail to News Gateway at Wang Labs
Date: 29 Sep 92 17:03:56 EST

Regarding John Scoggin's request for information on RAID systems for
VINES, Storage Computer of Nashua, N.H. is currently showing its new high
performance RAID 7 disk array platforms at the September International VINES
User Meeting.  SCSI-based, they work equally well with NetWare, workstations,
IBM systems, VAXes, etc.  I found out that Storage Computer has just opened
up its new European headquarters in Frankfurt.  The telephone there is
(49) 6917-2145.  The FAX is (49) 6917-2149.  They are handling their France
operations out of Frankfurt at the moment, so it is not necessary to
call Storage Computer headquarters in the U.S.

Standards-based, RAID 7 is designed for enterprise-wide computing and
overcomes performance limitations of earlier RAID architectures, providing
a  "real world sustained application performance improvement of 200% to
400%" and dropping the cost of storage to 16 cents/MB.  Their brochures
say they can "mix and match" up to 48 SCSI commodity (3.5 or 5.25 inch)
drives, up to 150 GB.  The RAID 7 disk array platforms come with an embedded
operating system and up to 12 SCSI-2 based host interfaces.  Besides servers,
Storage Computer's RAID 7 disk array platforms can connect to workstations
and midrange systems in addition to IBM's.  Multiple CPUs can be attached to
same disk array platform.

The RAID 7 platforms come with up to 256 MB of cache, eliminating any
reason for using performance-damaging CPU main memory disk RAM.  The
drives are "hot plugable" for uninterrupted, transparent operation,
with a hot standby drive automatically replacing a failed drive.

There was a lot of activity this week at the Storage Computer RAID 7 booth
at the Boston Banyan show as I walked by.  They were demoing what happens if
a drive goes down, showing the backup drive taking over.

For further information on Storage Computer's RAID 7 for any system, their
key US contact is indicated to be John O'Brien, Director of Technical
Services at Tel. 603-880-3005 or FAX 603-889-7232.  John is the original

"guru" of the RAID 7 advances, and a well-known RAID industry figure.

Cheers! ------- Michael.Willett@OFFICE.Wang.com
Newsgroups: soc.culture.french
From: fod@elroy.jpl.nasa.gov (Frank O'Donnell)
Subject: Re: traduction
Organization: Jet Propulsion Laboratory
Date: Thu, 1 Oct 1992 21:02:03 GMT

jmv@grip.cis.upenn.edu (Jean-Marc Vezien) writes:

>Quelqu'un peut-il m'indiquer une traduction decente de
>
>"Il l'appela de toutes ses forces "

"He will marshall all his forces"

>"Il ne peut se resoudre a tout abandonner"

"He cannot resign himself to abandon everything"

>"L'an de grace 2000"

Hmm, peut-etre il existe ici une nuance de laquelle
je suis ignorant.  "The year 2000"?

P.S.  En disant "une traduction," tu voulais
dire en anglais?  ;-)

Frank
frank@jplpost.jpl.nasa.gov
From: rol@grasp1.univ-lyon1.fr (Paul Rolland)
Newsgroups: soc.culture.french
Subject: Re: le meteorite fou !
Date: 6 Oct 92 14:42:30 GMT
Followup-To: soc.culture.french
Organization: Univ-Lyon1

Enfin sorti de son dernier coma ethylique, Monsieur Wolf,
Christophe.Wolfhugel@grasp.insa-lyon.fr (Christophe Wolfhugel) nous fait
l'honneur de sa presence et nous gratifie d'un posting :
> 
> Pour changer, Rol (@grasp.insa-lyon.fr) n'a pas envie de bosser et
> deblatere des aneries:
> > Question : Est-ce que rm -fr /Dieu fonctionne aussi ?
> 
> Dans tous les cas avant de nous heurter le meteorite feras un gros
> trou dans le ciel, donc d'abord "rm -fr /Dieu" et ensuite seuelement
> "rm -fr /".

Avec un peu de chance, on aura seulement un rm -fr /Lune, et
on epargnera ainsi notre root file system ;-)

> 
> > "Le Beau est le symbole moral du Bien" Emmanuel Kant
> 
> En plus il se met a la philosophie, c'est que le boulot doit vraiment
> etre deprimant !

La philosophie n'a rien a voir avec le boulot, c'est simplement le resultat
d'une partie de Trivial Pursuit. J'aurais aussi bien pu ecrire :

"La science, c'est comme la confiture : moins on en a et plus on l'etale"
Un con qui ne voulait pas que ca se sache !
 
> -- 
> Christophe Wolfhugel    |    Email: Christophe.Wolfhugel@grasp.insa-lyon.fr
>    "No keyboard, press F1 to continue"
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Etonnant qu'avec cette philosophie tu arrives a nous faire parvenir des
messages.... A mon avis, ou ta machine est bizarre, ou elle delire.

Paul Rolland, rol@grasp1.univ-lyon1.fr

-*-*-*-*-*-*-*-*-*-*- DISCLAIMER -*-*-*-*-*-*-*-*-*-

All the opinions I express in this posting are mine, but I'm
ready to share them with anybody interested :-)
From: pelegrin@brol.greco-prog.fr (Francois PELLEGRINI)
Newsgroups: soc.culture.french
Subject: Re: A request for information
Date: 5 Oct 92 10:28:08 GMT
Organization: GRECO Programmation du CNRS - Bordeaux,France

In article <1aamkdINNu2e@grasp1.univ-lyon1.fr>, Christophe.Wolfhugel@grasp.insa-lyon.fr (Christophe Wolfhugel) writes:
|> prich@monk (Paul Richardson) asks, from a poorly configured news system:
|> > Has anyone heard of a computer company in Lyon called ACRI.If
|> > so could you give me info on how to contact them.
|>   --->  postmaster@acri.fr  might be a good starting point.
|> Information which you would have found if you had taken a look at the
|> scf FAQ posting (at the end of part1, in the domain listing).
|> Furthermore, a "whois -h whois.ripe.net acri" would also have given
|> you the correct answer.

To Wolf:
	Euh, la, je te trouve un peu dur, Wolfy.

	You know, only a VERY few french companies have access to the Net.
	I have tried the commands you gave, and there has been no result.

To Paul:
	To get a better dispatch, I would advise you to post your request to
'fnet.general', if you can.

						f.p.
-- 
-------------------------------------------------------------------------------
|   Zeu<FP> : The craziest programmer in France  |         _________          |
|------------------------------------------------|     /   |        \   \     |
| Francois Pellegrini is :                       |    /    |__   ___/    \    |
|        pelegrin@geocub.greco-prog.fr           |    \    |     |       /    |
|         pelegrin@prof.greco-prog.fr            |     \   |     |      /     |
|                                                |                            |
-------------------------------------------------------------------------------
From: maillet@tls-cs.cert.fr (Luc Maillet)
Newsgroups: soc.culture.french
Subject: Re: federalisme, confederalisme ....
Date: 2 Oct 92 15:21:39 GMT
Organization: CERT Toulouse Dept of Computer Science, FRANCE

In article <92272.122051PDA101@psuvm.psu.edu>, PDA101@psuvm.psu.edu writes:
|> In article <791@tls-cs.cert.fr>, maillet@tls-cs.cert.fr (Luc Maillet) says:
|> >
|> >
|>    [En reference a mes elucubrations sur le bonheur et le gouvernement]
|> 
|> >  Et tu n'appelles pasca faire son possible pour que les gens soient heureux?
|> >compte tenu du champ d'action d'un gouvernement, c'est tout ce que j'en
|> >attend.
|> >
|> >                                                                Z.
|> >
|> 
|>   Et non. Nous mandatons le gouvernement pour s'occuper de l'organisation
|> du groupe. C.a.d entre autre defendre notre bifteck contre les voraces
|> agresseurs. Mais rien la dedans ne fait reference au bonheur. Ou alors
|> tu as en a une definition bien pauvre, limitee au confort materiel.

  Je n'ai pas dit que le bonheur se limitait a ca. Mais comme le confort
materiel y est inclus, on peut dire que le gouvernement doit contribuer au
bonheur des citoyens. Je rappelle que j'ai dit "faire son possible pour que..."
et pas "faire le bonheur des gens".

  De toutes manieres, le bonheur absolu meurt avec l'insouciance...

								Z.

  L'ordinateur est fou. L'ordinateur est heureux. L'ordinateur fera tout pour
vous rendre heureux. Cela vous rendra fou.
							-Paranoia-
From: maillet@tls-cs.cert.fr (Luc Maillet)
Newsgroups: soc.culture.french
Subject: Re: France, je vous remercie pour l'election d'Anti-Christ
Date: 28 Sep 92 08:03:05 GMT
Organization: CERT Toulouse Dept of Computer Science, FRANCE

In article <1992Sep24.074443.22815@dde.dk>, ct@dde.dk (Claus Tondering) writes:
|> 
|> Being both a Christian, a citizen of an EC country, and a person
|> who voted 'yes' to the European Union treaty, I have on a number
|> of occasions been confronted with the idea that the EC should be
|> the future Antichrist's state.
|> 
|> I have found that in particular American Christian fundamentalists
|> are afraid of the EC. Much more so than their European counterparts.
|> American Christians defend their idea that the EC is Antichrist's
|> state by statements such as the following: "The Europan Community
|> will be an economic power that will diminsh the financial power
|> of the US."

  Is there any link with religious belief here that I didn't see??
|> 
|> I cannot help feeling that these people (whom I respect in many
|> other ways) are afraid of the EC simply because of the possible
|> decline in US economics.
|> 
|> Does this make sense?

  Well, the only thing you can bet on is that the EC will be more influencial
on the international economy than any of the states it includes. It will make the economic space really tri-polar, with US, Japan, and the EC being the poles
( did I miss a major country here ? ). Then again, if the US don't take the
challenge, they will be in trouble...

								Z.
Organization: Senior, Social & Decision Sciences, Carnegie Mellon, Pittsburgh, PA
Newsgroups: soc.culture.french
Date: Wed, 30 Sep 1992 02:08:27 -0400 
From: Michael John Colaianne <mc4g+@andrew.cmu.edu>
Subject: traduction du terme sexuel

Quelqu'un pourrait-il me dire comment traduire l'expression anglaise
"dental dam" en francais?  Je dois faire une presentation orale sur "les
rapports sexuels sans danger" dans 12 heures et je n'arrive pas a
trouver une telle de traduction dans le dico (quel surpris).  De toute
facon, c'est bien possible qu'il n'y ait pas de mot francais pour ca. 
Faut que je dise un carre en latex, peut-etre?

Sinon, "dental dam" est un carre en latex utilise pour avoir des
rapports sexuels orales "sans danger."  On le met entre la bouche et le
sexe de son partenaire pour ne pas transmettre les MSTs.

Je serais tres content de trouver une expression pour ca au lieu de tout
expliquer.  Merci d'avance!


Ciao,
Michael
Organisation: ECP-Paris France
Date: Thursday, 1 Oct 1992 13:50:13 EDT
From: <LEROGNON@FRECP12.BITNET>
Newsgroups: soc.culture.french
Subject: Re: (des)information a la francaise ...
 <1992Oct1.012045.4661@Princeton.EDU>

Suite a l'article initial de JP Steyer et des reponses, je ne vois
pas bien en quoi on peut dire que les medias francais sont moins
demagogiques ou plus objectifs que ceux d'usa. La couverture de la
campagne presidentielle aux usa fait preuve d'un sensationalisme
assez idiot a ce que je sais. La presse privilegie les etats d'ames
et les rumeurs par rapport aux debats et aux reflexion. A mon sens
c'est la meme situation qu'en France. Qu'on puisse voir des nuances
d'ordre culturelle soit, mais je pense que fondamentalement on peut
parler des deux cotes d'une presse et d'une TV racoleuses,  avide
de sensationel, repliees sur elles meme et finalement conservatrices.
Pour citer Carl Bernsteinn : * les ratages de la presse
contribuent a l'apparition d'une nation de talk-show dans laquelle le
debat public se reduit a des engouements et a des emportements. *
Je pense que cette citations, s'applique aussi a la France.
Pour revenir au debat sur Maastricht, il a selon les Monde Diplomatique,
fait une vicitme : (je cite) * l'information approfondie sur l'avenir de
la construction europeenne. Slogans primaires, faux proces, scenarios-
catastrophes, on est fort loin de la pedagogie exigeante
qui aurait ete de mise pour expliquer le traite.*

Bref, en dehors de petites differences d'origine culturelles (qui
s'estompent peu a peu, mais c'est un autre debat)  les TV francaises,
americaines et les autres sont a egalite en ce qui concerne la
demagogie, la desinformation, la dissimulation et la deformation.

Agreed ?

Eric Lerognon.
From: goudal@hector.greco-prog.fr (Frederic GOUDAL)
Newsgroups: soc.culture.french
Subject: Re: Traduction Automatique
Date: 1 Oct 92 07:37:56 GMT
Organization: GRECO Programmation du CNRS - Bordeaux,France

In article <40699@imag.imag.fr>, lafourca@imag.fr (Lafourcade Mathieu) writes:
> In article <Bv3AzF.J6I@ireq.hydro.qc.ca> beaurega@ireq.hydro.qc.ca (Denis
> Beauregard) writes:
>
>>>
>>>Donne 1 phrase a 20 linguistes, et tu en obtiendra au moins 25 structures
>>>differentes. Cela te donnera une idee du probleme.
>>
>>Donne un probleme a resoudre a 20 programmeurs et tu en obtiendras
>>au moins 15 programmes qui repondent au probleme (en otant ce qui ne
>>marche pas ou ne resout pas le probleme demande).
>CA N'A RIEN A VOIR ! Les solutions proposees par les programmeurs sont
>facilement validables : ils suffit de faire la preuve du programme. Ne parlons
>pas d'execution, ca ne prouve rien, mais toutefois on peut "voir" le resultat
>au bout d'un temps fini (si le programme ne boucle pas). Ce resultat doit bien
>sur "coller" aux specif du probleme.

AHHHHHHHHRRRRRRRRRRRRRRRRRGGGGGGGGGGGGGGGGGGGGGGGGG!!!!!!
Ben, viens chez moi, je te montrerai du code a prouver, et tu me fera
ca "facilement" (moi ca fait 3 mois que je cherche simplement a
formaliser la specif...)
Je pense que tu n'as pas du aller beaucoupo plus loin
que factorielle dans les preuves de programmes (non la je suis dur, je
m'en excuse tout de suite et publiquement, il se peut que tu sois un
specialiste des preuves de programmes, et la, la gaaaaffffe...).

Serieusement je pense qu'il est plus "facile" de prouver un programme
que de prouver qu'en traduction est correcte, mais on n'en est pas
moins dans le domaine de l'indecidable me semble-t-il....

Quant a la traduction automatique, moi je propose un protocole :
Traduire de francais en francais... non serieusement, si le programme
ne triche pas, cela presuppose un fonctionnement du style :
Francais -> codage interne -> langue x.
Donc pourquoi ne pas reconstruire en francais, on pourais deja
apprecier plus facilement la fidelite...

Enfin ce que j'en dis moi....

-- 

goudal@geocub.greco-prog.fr          "Why can't we reach the sun?"
oral-mail : babbs			 Pink Floyd